Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
181	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
182	Directed Search for Generalized Plans Using Classical Planners∗ Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department of Computer Science University of Massachusetts Amherst Tianjiao Zhang Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Transitive closure Linked list Mathematics Applied mathematics Mathematical logic FO Finite model theory Tree
183	Complexity as a Linguistic Variable Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Fuzzy logic Artificial intelligence Non-classical logic Logic in computer science Systems Complexity Computational complexity theory Fuzzy set Lotfi A. Zadeh Logic Science Mathematical logic
184	Emotion-mapped Robotic Facial Expressions based on Philosophical Theories of Vagueness Phil Serchuk1,2 1 Add to Reading List Source URL: www.bartneck.de Language: English - Date: 2008-03-08 09:00:41 Ethology Artificial intelligence Fuzzy logic Logic in computer science Robotics Many-valued logic Human–robot interaction Emotion Vagueness Logic Science Non-classical logic
185	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
186	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
187	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
188	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
189	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Constraint programming Problem solving Non-classical logic Automated planning and scheduling Constraint satisfaction problem Control theory Planning Modal logic Mind Logic Science Philosophical logic
190	Administration 1. Critiques of Readings: • Feedback (Scott). • Given this feedback, if you wish to postpone handing in your critique until Monday, that’s fine. 2. Paper Presentations: I am still waiting to hear fro Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-16 16:55:30 Information science Artificial intelligence Description logic Non-classical logic Logic Criticism Science Knowledge Academia

UPDATE